reflection theorem造句

例句与造句

1. Another approach uses the Reflection Theorem.
2. One form of the reflection principle in ZFC says that for any "'finite "'set of axioms of ZFC we can find a countable transitive model satisfying these axioms . ( In particular this proves that ZFC is not finitely axiomatizable, because if it were it would prove the existence of a model of itself, and hence prove its own consistency, contradicting G鰀el's second incompleteness theorem . ) This version of the reflection theorem is closely related to the L鰓enheim-Skolem theorem.
3. It's difficult to find reflection theorem in a sentence. 用reflection theorem造句挺难的